calculus extreme value theorem